Nuprl Definition : es-fix
11,40
postcript
pdf
f
**(
e
) ==
f
**(
e
)
latex
clarification:
es-fix(
es
;
f
;
e
) == fix(es-eq(
es
);
f
;
e
)
latex
Definitions
f
**(
x
)
,
es-eq(
es
)
FDL editor aliases
es-fix
origin